du Bousquet, Lydie: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (26)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

[IEEE 2013 13th International Conference on Quality Software (QSIC) - Najing, China (2013.07.29-2013.07.30)] 2013 13th International Conference on Quality Software - A Comparison of Mutation Analysis Tools for Java

Delahaye, Mickael, du Bousquet, Lydie

Рік:

2013

Мова:

english

Файл:

PDF, 165 KB

english, 2013

2

Towards Mutation Analysis for Lustre Programs

Lydie du Bousquet, Michel Delaunay

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 308 KB

english, 2008

3

A Multi-formalism Approach for the Validation of UML Models

Sophie Dupuy, Lydie du Bousquet

Журнал:

Formal Aspects of Computing

Рік:

2000

Мова:

english

Файл:

PDF, 51 KB

english, 2000

4

[IEEE 2009 First International Conference on Advances in System Testing and Validation Lifecycle (VALID) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 First International Conference on Advances in System Testing and Validation Lifecycle - Is Depth of Inheritance Tree a Good Cost Prediction for Branch Coverage Testing?

Shaheen, Muhammad Rabee, Bousquet, Lydie du

Рік:

2009

Мова:

english

Файл:

PDF, 345 KB

english, 2009

5

Selecting a software engineering tool: lessons learnt from mutation analysis

Delahaye, Mickaël, du Bousquet, Lydie

Журнал:

Software: Practice and Experience

Рік:

2015

Мова:

english

Файл:

PDF, 169 KB

english, 2015

6

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

Журнал:

Journal of Automated Reasoning

Рік:

2010

Мова:

english

Файл:

PDF, 964 KB

english, 2010

7

Using formal methods to increase confidence in a home network system implementation: a case study

Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki

Журнал:

Innovations in Systems and Software Engineering

Рік:

2009

Мова:

english

Файл:

PDF, 1.62 MB

english, 2009

8

Special section on Mutation testing (Mutation 2010)

du Bousquet, Lydie, Bradbury, Jeremy S., Fraser, Gordon

Журнал:

Science of Computer Programming

Рік:

2013

Мова:

english

Файл:

PDF, 136 KB

english, 2013

9

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Mutation analysis for Lustre programs: Fault model description and validation

du Bousquet, Lydie, Delaunay, Michel

Рік:

2007

Мова:

english

Файл:

PDF, 300 KB

english, 2007

10

[IEEE 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Fault localization in embedded software based on a single cyclic trace

Amiar, Azzeddine, Delahaye, Mickael, Falcone, Ylies, du Bousquet, Lydie

Рік:

2013

Мова:

english

Файл:

PDF, 813 KB

english, 2013

11

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information

Grasland, Yves, du Bousquet, Lydie, Groz, Roland, Parissis, Ioannis

Рік:

2013

Мова:

english

Файл:

PDF, 282 KB

english, 2013

12

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Relation between Depth of Inheritance Tree and Number of Methods to Test

Bousquet, Lydie du, Shaheen, Muhammad Rabee

Рік:

2008

Мова:

english

Файл:

PDF, 480 KB

english, 2008

13

[IEEE 2009 Fourth International Conference on Software Engineering Advances (ICSEA) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 Fourth International Conference on Software Engineering Advances - Analysis of the Introduction of Testability Antipatterns during the Development Process

Shaheen, Muhammad Rabee, Bousquet, Lydie du

Рік:

2009

Мова:

english

Файл:

PDF, 420 KB

english, 2009

14

[IEEE 2008 3rd International Design and Test Workshop (IDT) - Monastir, Tunisia (2008.12.20-2008.12.22)] 2008 3rd International Design and Test Workshop - Generation of test programs for the assertion-based verification of TLM models

Ferro, Luca, Pierre, Laurence, Ledru, Yves, du Bousquet, Lydie

Рік:

2008

Мова:

english

Файл:

PDF, 240 KB

english, 2008

15

[IEEE 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (VALID) - Nice, TBD, France (2010.08.22-2010.08.27)] 2010 Second International Conference on Advances in System Testing and Validation Lifecycle - Analysis of Testability Metrics for Lustre/Scade Programs

Bousquet, Lydie du, Delaunay, Michel, Do, Huy-Vu, Robach, Chantal

Рік:

2010

Мова:

english

Файл:

PDF, 522 KB

english, 2010

16

[ACM Press the 27th IEEE/ACM International Conference - Essen, Germany (2012.09.03-2012.09.07)] Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 - Test suite selection based on traceability annotations

Ledru, Yves, Vega, German, Triki, Taha, Bousquet, Lydie du

Рік:

2012

Мова:

english

Файл:

PDF, 363 KB

english, 2012

17

[ACM Press the 7th International Workshop - Antwerpen, Belgium (2010.09.20-2010.09.20)] Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES '10 - Assertion-based test oracles for home automation systems

Rajan, Ajitha, du Bousquet, Lydie, Ledru, Yves, Vega, German, Richier, Jean-Luc

Рік:

2010

Мова:

english

Файл:

PDF, 235 KB

english, 2010

18

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Mastering combinatorial explosion with the tobias-2 test generator

Ledru, Yves, Dadeau, Frédéric, du Bousquet, Lydie, Ville, Sébastien, Rose, Elodie

Рік:

2007

Мова:

english

Файл:

PDF, 167 KB

english, 2007

19

[ACM Press the 2nd international workshop - Atlanta, Georgia (2007.11.06-2007.11.06)] Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) - RT '07 - Directed random reduction of combinatorial test suites

Dadeau, Frédéric, Ledru, Yves, Du Bousquet, Lydie

Рік:

2007

Файл:

PDF, 201 KB

2007

20

[ACM Press the 2nd international workshop - Atlanta, Georgia (2007.11.06-2007.11.06)] Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) - RT '07 - Directed random reduction of combinatorial test suites

Dadeau, Frédéric, Ledru, Yves, Du Bousquet, Lydie

Рік:

2007

Мова:

english

Файл:

PDF, 201 KB

english, 2007

21

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Mutation analysis for Lustre programs: Fault model description and validation

du Bousquet, Lydie, Delaunay, Michel

Рік:

2007

Мова:

english

Файл:

PDF, 300 KB

english, 2007

22

Validating Safety for the Integrated Services of the Home Network System Using JML

Yan, Ben, Nakamura, Masahide, Bousquet, Lydie du, Matsumoto, Ken-ichi

Журнал:

Journal of Information Processing

Рік:

2008

Мова:

english

Файл:

PDF, 918 KB

english, 2008

23

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Improving Trace Generation and Analysis for Medical Devices

Blein, Yoann, Clere, Arnaud, Bertrand, Fabrice, Ledru, Yves, Groz, Roland, Bousquet, Lydie du

Рік:

2017

Мова:

english

Файл:

PDF, 134 KB

english, 2017

24

[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Extending specification patterns for verification of parametric traces

Blein, Yoann, Ledru, Yves, du-Bousquet, Lydie, Groz, Roland

Рік:

2018

Мова:

english

Файл:

PDF, 543 KB

english, 2018

25

[ACM Press the International Workshop - Gothenburg, Sweden (2018.05.28-2018.05.28)] Proceedings of the International Workshop on Software Engineering in Healthcare Systems - SEHS '18 - Requirements for a trace property language for medical devices

Ledru, Yves, Blein, Yoann, du-Bousquet, Lydie, Groz, Roland, Clère, Arnaud, Bertrand, Fabrice

Рік:

2018

Файл:

PDF, 97 KB

2018

26

[IEEE 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW) - San Diego, CA, USA (2019.11.11-2019.11.15)] 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW) - Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems

Gisselaire, Lucas, Cario, Florian, Guerre-berthelot, Quentin, Zigmann, Bastien, du Bousquet, Lydie, Nakamura, Masahide

Рік:

2019

Файл:

PDF, 132 KB

2019